- 双语例句 更多例句
Criticisms of Situation Semantics on the Extensional Model Theory and the Possible World Semantics
情境语义学对外延模型论和可能世界语义学的批判
互联网摘选
巴威斯等对外延模型论语义学和可能世界语义学的批判,揭示了既有逻辑语义研究的不足,促使人们对自然语言的逻辑语义问题进行更深刻的认识和反思。
互联网摘选
然而,尽管可能世界语义学能让我们更直观地理解模态逻辑表达式,但是依然衍生出许多问题。
互联网摘选
This is also shown by the vagueness of KaKbp → Kap in possible world semantics.
可传递性公式KaKbp→Kap在可能世界语义学上的模糊性,也表明了这一点。
互联网摘选
因此,给出关于范畴位置移动的结构公设,构成特定的范畴类型逻辑系统,即多样模态逻辑,并给该系统的可能世界语义学的可通达关系确立相应的限制条件。
互联网摘选
研究主体思维状态逻辑框架KARO中的多动作承诺机制,并对其进行语义解释。
互联网摘选
建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。
互联网摘选
- 相关词组
- gross world product世界总产值
- out of the world极好的;非凡的;
- become famous all over the world在世界各地成名
- on the top of the world在世界之巅
- modern world现代世界
- business world工商界;
- set the world on fire<口>极为成功并引起轰动;
- bbc world news英国广播公司世界新闻;英国广播公司世界新闻频道;世界新闻电视频道;环宇新闻
- all over the worldadv.全世界;举世;五洲四海;普天之下;
- how in the world〈口〉到底怎样…
- out of this world不切实际;<口>好得不得了;
- around the world世界各地;全世界;
- real world真实世界;
- seven wonders of the world世界七大奇迹;
- generative semantics生成语义学
- not for world不适合世界范围
- inner world精神世界;
- for all the world为全世界;完全,无论如何
- have all the time in the world有充裕时间
- Brave New World美好的新世界(指社会大变动后出现的使人满怀希望的新时期,常含有讽刺意味);
- 今日热词
- 热门搜索
- listen vi. 倾听;留心听;听信;(让对方注意)听着;n. 听,倾听;
- aloe vera 真芦荟,羊角掌,真芦荟制品;芦荟汁(用于生产护肤霜等);
- leave me alone 别管我,不要打扰我;
- how you like that 你觉得怎么样?
- four num.四;四个人(或事物)的一组;得四分的一击;四人赛艇的全体成员;四人赛艇;
- a new day has come 崭新的一天;新的一天来临;新的一天已经来临;真爱来临;
- typhoon n.台风;
- accent n.重音;口音;腔调;重音符号(标在字母上);
- Nagoya 名古屋(日本本州岛中南岸港市);
- noise n.噪音;喧闹声;响声;言语;干扰信息;
- pleasant adj.令人愉快的;友好的;和善的;
- pardon vt.宽恕;原谅;赦免;劳驾;n.饶恕,原谅;赦免;[宗]免罪符;
